Computing Two-Dimensional Integer Hulls

An optimal algorithm is presented for computing the smallest set of linear inequalities that define the integer hull of a possibly unbounded two-dimensional convex polygon R. Input to the algorithm is a set of linear inequalities defining R, and the integer hull computed is the convex hull of the integer points of R. It is proven that the integer hull has at most O(n logAmax) inequalities, where n is the number of input inequalities and Amax is the magnitude of the largest input coefficient. It is shown that the algorithm presented has complexity O(n logAmax) and that this is optimal by proving that the integer hull may have Ω(n logAmax) inequalities in the worst case.